| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Agreement between conformance and composition
|
Bourdonov, I. B.
|
|
2013
|
|
Suppl 2 |
p. 269-278
|
artikel
|
| 2 |
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields
|
A. A. Gusev
|
|
2001
|
|
Suppl 2 |
p. 18-21
4 p.
|
artikel
|
| 3 |
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields
|
Gusev, A. A.
|
|
2001
|
|
Suppl 2 |
p. 18-21
|
artikel
|
| 4 |
Algorithmic issues of AND-decomposition of boolean formulas
|
Emelyanov, P. G.
|
|
2015
|
|
Suppl 2 |
p. 162-169
|
artikel
|
| 5 |
Algorithms for Solving an Algebraic Equation
|
Bruno, A. D.
|
|
2019
|
|
Suppl 2 |
p. 533-545
|
artikel
|
| 6 |
A Metrics Suite for Measuring Indirect Coupling Complexity
|
Navas-Su, J.
|
|
|
|
Suppl 2 |
p. 735-761
|
artikel
|
| 7 |
An algorithm for the visualization of stereo images simultaneously captured with different exposures
|
Pashchenko, N. F.
|
|
2017
|
|
Suppl 2 |
p. 250-257
|
artikel
|
| 8 |
An algorithm of automatic workflow optimization
|
Kalenkova, A. A.
|
|
2012
|
|
Suppl 2 |
p. 43-56
|
artikel
|
| 9 |
Analysis of entities in C and C++ programs and relations between them for program understanding
|
Belevantsev, A. A.
|
|
2016
|
|
Suppl 2 |
p. 49-53
|
artikel
|
| 10 |
An Image Hashing Algorithm Based on a Convolutional Neural Network
|
Kulikova, O. V.
|
|
|
|
Suppl 2 |
p. 407-411
|
artikel
|
| 11 |
A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization
|
Mallika, G. C.
|
|
|
|
Suppl 2 |
p. 402-414
|
artikel
|
| 12 |
Application of if-conversion to verification and optimization of workflows
|
Kalenkova, A. A.
|
|
2010
|
|
Suppl 2 |
p. 276-288
|
artikel
|
| 13 |
Application of the trace assertion method to the specification, design, and verification of automaton programs
|
Kuzmin, E. V.
|
|
2009
|
|
Suppl 2 |
p. 43-55
|
artikel
|
| 14 |
Architecture for Groupware Oriented to Collaborative Medical Activities in the Rehabilitation of Strokes
|
Fernández Gregorio, Sofía Isabel
|
|
|
|
Suppl 2 |
p. 643-656
|
artikel
|
| 15 |
A Tertiary Study on Microservices: Research Trends and Recommendations
|
Stojanov, Z.
|
|
|
|
Suppl 2 |
p. 796-821
|
artikel
|
| 16 |
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2
|
Jiménez, S.
|
|
|
|
Suppl 2 |
p. 552-565
|
artikel
|
| 17 |
Automaton recognition of doubly connected labyrinths with finite cyclic diameter
|
Stamatovich, B.
|
|
2010
|
|
Suppl 2 |
p. 149-156
|
artikel
|
| 18 |
Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot
|
Bourdonov, I. B.
|
|
2004
|
|
Suppl 2 |
p. 305-322
|
artikel
|
| 19 |
BARSIC: A Programming System for Physicists
|
Monakhov, V. V.
|
|
2005
|
|
Suppl 2 |
p. 157-165
|
artikel
|
| 20 |
Bounded monotone recursion and multihead automata
|
Marchenkov, S. S.
|
|
2013
|
|
Suppl 2 |
p. 301-308
|
artikel
|
| 21 |
Checking several requirements at once by CEGAR
|
Mordan, V. O.
|
|
2016
|
|
Suppl 2 |
p. 225-238
|
artikel
|
| 22 |
Complete System of Equivalent Transformations for Multitape Automata
|
V. E. Khachatryan
|
|
2003
|
|
Suppl 2 |
p. 43-54
12 p.
|
artikel
|
| 23 |
Complete System of Equivalent Transformations for Multitape Automata
|
Khachatryan, V. E.
|
|
2003
|
|
Suppl 2 |
p. 43-54
|
artikel
|
| 24 |
Darboux transformations for factorable Laplace operators
|
Shemyakova, Ekaterina
|
|
2014
|
|
Suppl 2 |
p. 151-157
|
artikel
|
| 25 |
Designing personalized digital libraries over websites with semistructured data
|
Kalinichenko, L. A.
|
|
|
|
Suppl 2 |
p. 123-133
|
artikel
|
| 26 |
Efficiency estimate for distributed computation of Gröbner bases and involutive bases
|
Yanovich, D. A.
|
|
2008
|
|
Suppl 2 |
p. 210-215
|
artikel
|
| 27 |
Environment modeling in a flight simulator
|
Sapronov, R. V.
|
|
2017
|
|
Suppl 2 |
p. 234-242
|
artikel
|
| 28 |
Extensible environment for test program generation for microprocessors
|
Kamkin, A. S.
|
|
2014
|
|
Suppl 2 |
p. 1-9
|
artikel
|
| 29 |
Formalization of test experiments
|
Bourdonov, I. B.
|
|
2007
|
|
Suppl 2 |
p. 239-260
|
artikel
|
| 30 |
Hybrid Model for Efficient Anomaly Detection in Short-timescale GWAC Light Curves and Similar Datasets
|
Sun, Y.
|
|
|
|
Suppl 2 |
p. 600-610
|
artikel
|
| 31 |
Influence of regular system interrupts on performance of parallel stencil computations
|
Kalgin, K. V.
|
|
2014
|
|
Suppl 2 |
p. 223-228
|
artikel
|
| 32 |
Information Announcement on Sixth International Andrei Ershov Memorial Conference “Perspectives of System Informatics,” 27–30 June 2006, Novosibirsk, Akademgorodok, Russia
|
Virbitskaite, I. B.
|
|
2005
|
|
Suppl 2 |
p. 347-349
|
artikel
|
| 33 |
Intermediate Representation of Programs with Type Specification Based on Pattern Matching
|
Vasenin, V. A.
|
|
|
|
Suppl 2 |
p. 57-66
|
artikel
|
| 34 |
Mind maps merging in collaborative work
|
Koznov, D.
|
|
2011
|
|
Suppl 2 |
p. 315-321
|
artikel
|
| 35 |
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets
|
Getmanskaya, A. A.
|
|
|
|
Suppl 2 |
p. 164-171
|
artikel
|
| 36 |
Multiple reference octrees for a GPU photon mapping and irradiance caching
|
Frolov, V. A.
|
|
2014
|
|
Suppl 2 |
p. 208-214
|
artikel
|
| 37 |
Next-Generation Intermediate Representations for Binary Code Analysis
|
Solovev, M. A.
|
|
|
|
Suppl 2 |
p. 424-437
|
artikel
|
| 38 |
Normal forms and integrability of ODE systems
|
Bruno, A. D.
|
|
2006
|
|
Suppl 2 |
p. 139-144
|
artikel
|
| 39 |
Obtaining Affine Transformations to Improve Locality of Loop Nests
|
Likhoded, N. A.
|
|
2005
|
|
Suppl 2 |
p. 270-281
|
artikel
|
| 40 |
On basic semantics of untyped functional programs
|
Hrachyan, G. G.
|
|
2009
|
|
Suppl 2 |
p. 121-135
|
artikel
|
| 41 |
One-class Classification for Identifying COVID-19 in X-Ray Images
|
Perez-Careta, Eduardo
|
|
|
|
Suppl 2 |
p. 235-242
|
artikel
|
| 42 |
On Program Schemes with Commuting and Monotone Operators
|
R. I. Podlovchenko
|
|
2003
|
|
Suppl 2 |
p. 270-276
7 p.
|
artikel
|
| 43 |
On Program Schemes with Commuting and Monotone Operators
|
Podlovchenko, R. I.
|
|
2003
|
|
Suppl 2 |
p. 270-276
|
artikel
|
| 44 |
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing
|
Shokurov, A. V.
|
|
|
|
Suppl 2 |
p. 473-482
|
artikel
|
| 45 |
On the 70th birthday of Viktor Petrovich Ivannikov
|
|
|
2010
|
|
Suppl 2 |
p. 1-2
|
artikel
|
| 46 |
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification
|
O. N. Malykh
|
|
2004
|
|
Suppl 2 |
p. 134-141
8 p.
|
artikel
|
| 47 |
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification
|
Malykh, O. N.
|
|
2004
|
|
Suppl 2 |
p. 134-141
|
artikel
|
| 48 |
Practical approach to the fast Monte-Carlo ray-tracing
|
Gruzdev, A. M.
|
|
2015
|
|
Suppl 2 |
p. 253-257
|
artikel
|
| 49 |
Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on RGBD Images
|
Sorokin, M. I.
|
|
|
|
Suppl 2 |
p. 207-216
|
artikel
|
| 50 |
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning
|
Vershkov, N.
|
|
|
|
Suppl 2 |
p. 609-618
|
artikel
|
| 51 |
Software Testing in the DevOps Context: A Systematic Mapping Study
|
Pando, B.
|
|
|
|
Suppl 2 |
p. 658-684
|
artikel
|
| 52 |
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling
|
Aguilar-Cisneros, J.R.
|
|
|
|
Suppl 2 |
p. 499-512
|
artikel
|
| 53 |
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp 1(z) to the Neighborhood of the Point z 1 in the Logarithmic Case
|
S. L. Skorokhodov
|
|
2004
|
|
Suppl 2 |
p. 150-156
7 p.
|
artikel
|
| 54 |
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp– 1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case
|
Skorokhodov, S. L.
|
|
2004
|
|
Suppl 2 |
p. 150-156
|
artikel
|
Tijdschrift beschrijving